rel\_rev\_implies($T$;$R_{1}$;$R_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rel\_implies($T$;$R_{2}$;$R_{1}$)